منابع مشابه
Collaborating with writing tools
This paper presents an analysis of the modifications that a synchronous computer support for collaborative writing introduces into the organization of the co-authors’ writing. The analysis is grounded in case studies of different groups of co-authors writing a report together face-toface and at a distance through a collaborative writing computer system. Drawing from these studies I suggest that...
متن کاملLegal Consciousness: Some Observations
This article argues that US studies of ‘legal consciousness’ have much to o¡er UK socio-legal studies. It is, perhaps, surprising that so little attention has been paid to this set of understandings. I seek to rectify that imbalance in the transatlantic relationship by outlining legal consciousness and its critiques. I then draw on homelessness applicant interview data to discuss their ‘legal c...
متن کاملNetwork security tools - writing, hacking, and modifying security tools
What do you do to start reading network security tools writing hacking and modifying security tools? Searching the book that you love to read first or find an interesting book that will make you want to read? Everybody has difference with their reason of reading a book. Actuary, reading habit must be from earlier. Many people may be love to read, but not a book. It's not fault. Someone will be ...
متن کاملSome Ontological Tools to Support Legal Regulatory Compliance, with a Case Study
The increasing development of legal ontologies seems to offer satisfactory solutions to legal knowledge formalization, which in past experiences lead to a limited exploitation of legal expert systems for practical and commercial use. The paper describes some ontology-based tools that enable legal knowledge formalization. Jurwordnet is an extension to the legal domain of the Italian version of E...
متن کاملWriting Literate Proofs with XML Tools
Both mechanical proof scripts and programs benefit from documentation and modularity. Designed to be an industrial-strength theorem prover, ACL2 provides powerful support for both of these. The standard distribution includes hundreds of pages of documentation that are automatically generated from function doc-strings in the source code. However, it is still difficult to write easily understanda...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Alberta Law Review
سال: 1969
ISSN: 1925-8356,0002-4821
DOI: 10.29173/alr1399